mining in the outer continental shelf and in the deep ocean ...